System Verification – alle Bücher

Wir konnten keine exakten Treffer zu Ihrer Suche nach "System verification" finden. Könnten diese Produkte zu Ihrer Suche passen?

Stefan Schwab
Guaranteed Verification of Dynamic Systems

This work introduces a new specification and verification approach for dynamic systems. The introduced approach is able to provide type II error free results by definition, i.e. there are no hidden faults…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 51,00*

Artikel ist im Warenkorb

Verification and Evaluation of Computer and Communication Systems

Lecture Notes in Computer Science -Band 14368

This book constitutes the refereed proceedings of the 16th International Conference on Verification and Evaluation of Computer and Communication Systems, VECoS 2023, held in Marrakech, Morocco, during Oct…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75*

Artikel ist im Warenkorb

Advances in Drinking Water Purification: Small Systems and Emerging Issues

Advances in Drinking Water Purification: Small Systems and Emerging Issues captures the knowledge and impact on the performance of various types of water purification technologies and identities the need …

lieferbar in mind. 4 Wochen

Buch

EUR 268,38*

Artikel ist im Warenkorb

Producing Artificial Intelligent Systems

Studies in Computational Intelligence -Band 1150

The fast development of intelligent technologies in the previous years, their boost during the COVID crisis, and their huge acceleration with the proliferation of the Large Language Models has led industr…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 164,28*

Artikel ist im Warenkorb

Louis S Wheatcraft: Incose Needs and Requirements Manual, Buch

Louis S Wheatcraft, Michael J Ryan, Tami Edner Katz,
Incose Needs and Requirements Manual

Complete and comprehensive manual for eliciting, defining, and managing needs and requirements, integration, verification, and validation across the lifecycle The INCOSE Needs and Requirements Manual pres…

lieferbar ab 5.2.2025.

Buch

EUR 116,83*

Artikel ist im Warenkorb

Computer Safety, Reliability, and Security

Lecture Notes in Computer Science -Band 14988

This book constitutes the refereed proceedings of the 43rd International Conference on Computer Safety, Reliability and Security, SAFECOMP 2024, held in Florence, Italy, in September 2024. The 19 full pa…

lieferbar ab 23.9.2024.

Buch

EUR 63,51*

Artikel ist im Warenkorb

Networked Systems

Lecture Notes in Computer Science -Band 14783

This book constitutes the refereed proceedings of the 12th International Conference on Networked Systems, NETYS 2024, held in Rabat, Morocco, during May 29-31, 2024. The 14 full papers and 3 short papers…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,51*

Artikel ist im Warenkorb

Runtime Verification

Lecture Notes in Computer Science -Band 14245

This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3 6, 2023. The 13 full papers and 7 shor…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 76,66*

Artikel ist im Warenkorb

Inspection of Medical Devices

Series in Biomedical Engineering

This comprehensive guide invites nations worldwide to embark on a transformative journey, implementing independent third-party verification systems that ensure medical devices comply with both internation…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 128,00*

Artikel ist im Warenkorb

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.